two column algebra proof examples